Logical Studies of Paraconsistent Reasoning in Science and Mathematics by Holger Andreas & Peter Verdée

Author:Holger Andreas & Peter Verdée
Language: eng
Format: epub
Publisher: Springer International Publishing, Cham

From Paraconsistent Logic to Dialetheic Logic

Hitoshi Omori1, 2

(1)The Graduate Center, City University of New York, New York, New York, USA

(2)Department of Philosophy, Kyoto University, Kyoto, Japan

Hitoshi Omori

Email: [email protected]

URL: https://sites.google.com/site/hitoshiomori/home

Abstract

The only condition for a logic to be paraconsistent is to invalidate the so-called explosion. However, the understanding of the only connective involved in the explosion, namely negation, is not shared among paraconsistentists. By returning to the modern origin of paraconsistent logic, this paper proposes an account of negation, and explores some of its implications. These will be followed by a consideration on underlying logics for dialetheic theories, especially those following the suggestion of Laura Goodship. More specifically, I will introduce a special kind of paraconsistent logic, called dialetheic logic, and present a new system of paraconsistent logic, which is dialetheic, by expanding the Logic of Paradox of Graham Priest. The new logic is obtained by combining connectives from different traditions of paraconsistency, and has some distinctive features such as its propositional fragment being Post complete. The logic is presented in a Hilbert-style calculus, and the soundness and completeness results are established.

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.